2721. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic digital computers -- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
2722. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group
پدیدآورنده : editors, J.W. de Bakker and J.J.M.M. Rutten
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
76
.
642
.
T45
1992
2723. The Agent Modeling Language--AML
پدیدآورنده : / Radovan Cervenka, Ivan Trencansky
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Intelligent agents (Computer software),Computer software--Development,Programming languages (Electronic computers)
رده :
QA
,
76
.
76
,.
I58
,
C47
,
2007
2724. The Android developer's cookbook :building applications with the Android SDK
پدیدآورنده : Steele, James, James Steele, Nelson To
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Android )Electronic resource(,Development ، Application software,، Mobile computing,Programming ، Smartphones,، Operating systems )Computers(
رده :
QA
76
.
76
.
A65
S743
2011
2725. The Art of Modelling Computational Systems :
پدیدآورنده : Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
رده :
QA76
.
7
.
A78
2019
2726. The Art of computer programming
پدیدآورنده : / Donald Ervin Knuth
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : Electronic digital computers-- programming
رده :
QA
76
.
6
.
K64
2727. The C answer book :
پدیدآورنده : Clovis L. Tondo, Scott E. Gimpel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : C (Computer program language), Problems, exercises, etc.,Programming languages (Electronic computers)
2728. The Computer programmer's dictionary and handbook
پدیدآورنده : Spencer, Donald D
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Dictionaries ، Programming )Electronic computers(,Machines - Dictionaries ، Electronic data processing
رده :
QA
76
.
15
.
S65
2729. The Craft of programming
پدیدآورنده : Reynolds, John C
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
6
.
R47
2730. The Elements of digital computer programming
پدیدآورنده : Reilly, Edwin D
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
5
.
R44
2731. The IOTA programming system : a modular programming environment
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Modular programming
رده :
QA
76
.
6
.
I66
1983
2732. The IOTA programming system : a modular programming environment
پدیدآورنده : edited by R. Nakajima and T. Yuasa
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers - Programming,، Modular programming
رده :
QA
76
.
L4
v
.
160
2733. The Imperative future :principles of executable temporal logic
پدیدآورنده : edited by Howard Barringer ... ]et al.[
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
D47
I47
1996
2734. The Language of computer programming in English
پدیدآورنده : Keegel, John C.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
K44
1976
2735. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
2736. The MBASIC handbook
پدیدآورنده : Ettlin, Walter A.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، BASIC )Computer program language(,، Electronic digital computers -- Programming
رده :
QA
76
.
73
.
B3E88
1983
2737. The McGraw-Hill Computer Handbook
پدیدآورنده : Editor in chief Harry Helms , Overview by Adam Osborne ; Foreword by Thomas C . Bartee
کتابخانه: Library of Graduate Faculty of Environment of Tehran Univerdity (Tehran)
موضوع : Computers - Handbooks, manuals, etc,Programming (Electronic computers) - Handbooks, manuals, etc,Programming languages (Electronic computers) - Handbooks, manuals, etc
رده :
R
QA
76
.
M37
1983
2738. The McGraw-Hill PC programmer s desk reference
پدیدآورنده : Canton, Maria P.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming
رده :
QA
76
.
6
.
C36
1996
2739. The McGraw-Hill computer handbook
پدیدآورنده : editor in chief, Harry Helms; overview by Adam Osborne; foreword by Thomas C. Bartee
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Handbooks, manuals, etc ، Computers,Handbooks, manuals, etc ، Programming )Electronic computers(,Handbooks, manuals, etc ، Progamming languages )Electronic computer(
رده :
QA
76
.
M37
1983
